Ingrese una palabra o frase en cualquier idioma 👆
Idioma:
Traducción y análisis de palabras por inteligencia artificial ChatGPT
En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:
- cómo se usa la palabra
- frecuencia de uso
- se utiliza con más frecuencia en el habla oral o escrita
- opciones de traducción
- ejemplos de uso (varias frases con traducción)
- etimología
kara kurt - traducción al árabe
WIKIMEDIA DISAMBIGUATION PAGE
KARA; Kara (Smallville); Kara (disambiguation); Kara (band); Kara (Supergirl)
kara kurt
الدَّغْفَل:نَوعٌ مِنَ العَناكِب
curt
MALE GIVEN NAME
Curt
صِفَة : جاف . مقتضَبٌ على نحو فظّ
CURT
MALE GIVEN NAME
Curt
الصفة
جافٍ ; جافّ ; جلْف ; خَشِن ; خَشِين ; غَلِيظ ; فِجّ ; فَظّ
Definición
Goedel
<language> (After the mathematician Kurt Godel) A
declarative, general-purpose language for {artificial
intelligence} based on logic programming. It can be
regarded as a successor to Prolog. The type system is
based on many-sorted logic with parametric polymorphism.
Modularity is supported, as well as {infinite precision
arithmetic} and finite sets.
Goedel has a rich collection of system modules and provides
constraint solving in several domains. It also offers
metalogical facilities that provide significant support for
metaprograms that do analysis, transformation, compilation,
verification, and debugging.
A significant subset of Goedel has been implemented on top of
SISCtus Prolog by Jiwei Wang <jiwei@lapu.bristol.ac.uk>.
FTP Bristol, UK (ftp://ftp.cs.bris.ac.uk/goedel), {FTP K U
Leuven (ftp://ftp.cs.kuleuven.ac.be/pub/logic-prgm/goedel) }.
E-mail: <goedel@compsci.bristol.ac.uk>.
(1995-05-02)
